7-Hydroxy-5-oxo-1,2,3-trihydroindolizine-8-carboxylic acid AIDS-043700 AIDS043700 Indolizinone der.