AIDS-094542 AIDS094542 Cyclopropyl-dimethylamino-fluoro-oxo-4H-quinolizine-3-carboxylic acid