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