(2S)-pyrrolidine-2-carboxylic acid