7-{3,4-Bis[(ethylamino)methyl]pyrrolidinyl}-1-cyclopropyl-6,8-difluoro-4-oxohydroquinoline-3-carboxylic acid AIDS-030750 AIDS030750 PD 123972