AIDS-043695 AIDS043695 Ethyl 7-hydroxy-5-oxo-6-phenyl-1,2,3-trihydroindolizine-8-carboxylate Indolizinone der.