8-((S)-3-Amino-pyrrolidin-1-yl)-7-fluoro-1-isopropyl-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094517 AIDS094517