(R)-tert-butyl 2-((S)-2,2-dimethyl-1,3-dioxolan-4-yl)piperidine-1-carboxylate