(3R,4R)-1-tert-butoxycarbonyl-3-hydroxy-piperidine-4-carboxylic acid [ 1932301-36-4 ]