(S)-1-(tert-butoxycarbonyl)pyrrolidine-2-carboxylic acid