8-(3-Amino-pyrrolidin-1-yl)-1-cyclopropyl-7,9-difluoro-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094525 AIDS094525