3-Quinolinecarboxylic acid, 5,8-dichloro-1-cyclopropyl-7-[3-[(ethylamino)methyl]-1-pyrrolidinyl]-6-fluoro-1,4-dihydro-4-oxo- AIDS-029531 AIDS029531 PD 135723