trans-3,5-Dihydroxy-piperidine-1-carboxylic acid tert-butyl ester [ 2092515-15-4 ]