12-benzoyl-3-(2-methyl-1,3-dioxolan-2-yl)-7,12-dihydroindolo[2,3-a]quinolizin-4(6H)-one