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