(2S,4R)-4-cyanopyrrolidine-2-carboxylic acid