AIDS-134966 AIDS134966 Ethyl 4-oxo-1,2,3,4,6,7,12,12b-octahydroindolo[2,3-a]quinolizine-3-carboxylate NSC634125