6,8-Difluoro-1,4-dihydro-4-oxo-1-(4-fluorophenyl)-7-(1-piperazinyl)-quinolone-3-carboxylic acid AIDS-104570 AIDS104570 Quinolone deriv