((3S,4R)-Amino-trifluoromethyl-pyrrolidin-1-yl)-cyclopropyl-fluoro-methyl-oxo-4H-quinolizine-3-carboxylic acid AIDS-094616 AIDS094616