5-(Dimethylamino)-7-[3-(dimethylamino)pyrrolidinyl]-1-cyclopropyl-6,8-difluoro-4-oxohydroquinoline-3-carboxylic acid AIDS-030753 AIDS030753 PD 127275