trans-4-[(tert-butoxycarbonyl)amino]-3-hydroxypiperidine-1-carboxylate;