AIDS-134968 AIDS134968 Ethyl 4-oxo-1,4,6,7,12,12b-hexahydroindolo[2,3-a]quinolizine-3-carboxylate NSC634127