(2S,5R)-tert-butyl 5-(allyloxy(tert-butoxycarbonyl)amino)-2-(hydroxymethyl)-4-(methoxymethyl)-5,6-dihydropyridine-1(2H)-carboxylate