Pyrrolidine-2-carboxylic acid