(S)-Pyrrolidine-2-carboxylic acid