AIDS-127172 AIDS127172 Ethyl 8-methyl-7,9-dioxo-5b,6,7,8,9,11-hexahydroindolizino[1,2-b]quinoline-8-carboxylate NSC148779