1-Cyclopropyl-8-((S)-3-cyclopropylamino-piperidin-1-yl)-7-fluoro-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094770 AIDS094770