1-Cyclopropyl-7-{3-[(ethylamino)methyl]pyrrolidinyl}-4-oxo-6-(trifluoromethyl)hydroquinoline-3-carboxylic acid AIDS-030755 AIDS030755 PD 131161