(2R,4S)-1-(tert-butoxycarbonyl)-4-cyanopyrrolidine-2-carboxylic acid [ 132622-80-1 ]