7-Hydroxy-6-butyl-1,2,3-trihydroindolizin-5-one AIDS-043694 AIDS043694 Indolizinone der.