(R)-tert-butyl 6-((S)-2,2-dimethyl-1,3-dioxolan-4-yl)-5,6-dihydropyridine-1(2H)-carboxylate