(2R,4S)-N-Boc-4-hydroxypiperidine-2-carboxylic acid methyl ester