(2R,5R,11bS)-2-(benzyloxycarbonyl)amino-5-methoxycarbonyl-3-oxo-2,3,5,6,11,11b-hexahydro-1H-indolizino[8,7-b]indole