(2R,4R)-N-Boc-4-hydroxypyrrolidine-2-carboxylic acid