7-(2,5-Dimethylpiperazinyl)-1-cyclopropyl-6,8-difluoro-4-oxohydroquinoline-3-carboxylic acid AIDS-059923 AIDS059923 PD125353