1-Ethyl-6,8-difluoro-7-[3-(hydroxymethyl)pyrrolidinyl]-4-oxohydroquinoline-3-carboxylic acid AIDS-029527 AIDS029527 PD116427