(2R,4S)-1-Boc-4-hydroxypiperidine-2-carboxylic acid [ 1212688-40-8 ]