7-Hydroxy-6-phenyl-1,2,3-trihydroindolizin-5-one AIDS-043692 AIDS043692 Indolizinone der.