(2S,4R)-1-(tert-Butoxycarbonyl)-4-hydroxypyrrolidine-2-carboxylic acid