(Amino-trifluoromethyl-pyrrolidin-1-yl)-cyclopropyl-fluoro-methyl-oxo-4H-quinolizine-3-carboxylic acid AIDS-094617 AIDS094617