(2S,3R)-3-hydroxypyrrolidine-2-carboxylic acid