(6S,12bR)-3-(benzyloxycarbonyl)-12-(tert-butoxycarbonyl)-6-[(tert-butoxycarbonyloxy)-methyl]-4-oxo-1,4,6,7,12,12b-hexahydroindolo[2,3-a]quinolizine

13-(tert-butyl) 1-methyl (4R,4aR,7S,13bR,14aR)-7-(((tert-butoxycarbonyl)oxy)methyl)-4-methyl-2,5-dioxo-4a-(phenylsulfonyl)-1,3,4,4a,5,7,8,13b,14,14a-decahydroindolo[2',3':3,4]pyrido[1,2-b]isoquinoline-1,13(2H)-dicarboxylate

13-(tert-butyl) 1-methyl (4R,4aR,7S,13bR,14aR)-7-(((tert-butoxycarbonyl)oxy)methyl)-2-hydroxy-4-methyl-5-oxo-4a-(phenylsulfonyl)-3,4a,5,7,8,13b,14,14a-octahydroindolo[2',3':3,4]pyrido[1,2-b]isoquinoline-1,13(4H)-dicarboxylate

13-(tert-butyl) 1-methyl (4aR,7S,13bR,14aR)-7-(((tert-butoxycarbonyl)oxy)methyl)-2-hydroxy-5-oxo-4a-(phenylsulfonyl)-3,4a,5,7,8,13b,14,14a-octahydroindolo[2',3':3,4]pyrido[1,2-b]isoquinoline-1,13(4H)-dicarboxylate

13-(tert-butyl) 1-methyl (4aS,7S,13bR,14aS)-7-(((tert-butoxycarbonyl)oxy)methyl)-2-hydroxy-5-oxo-3,4a,5,7,8,13b,14,14a-octahydroindolo[2',3':3,4]pyrido[1,2-b]isoquinoline-1,13(4H)-dicarboxylate