(+/-)-1-Cyclopropyl-7-fluoro-8-(3-hydroxy-piperidin-1-yl)-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094633 AIDS094633