1-cyclopropyl-8-(2,8-diaza-8-bicyclo[4.3.0]nonyl)-7-fluoro-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-187835 AIDS187835