8-[3-((1R,2R)-1-Amino-2-hydroxy-propyl)-pyrrolidin-1-yl]-1-cyclopropyl-7-fluoro-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094593 AIDS094593