6-Butyl-7-hydroxy-8-phenyl-1,2,3-trihydroindolizin-5-one AIDS-043687 AIDS043687 Indolizinone der.