1-cyclopropyl-7-fluoro-9-methyl-4-oxo-8-(trans-4-trifluoromethyl-3-aminopyrrolidinyl)-4H-quinolizine-3-carboxylic acid hydrochloride AIDS-187815 AIDS187815