6,8-Dichloro-1-cyclopropyl-1,4-dihydro-7-(3-methyl-1-piperazinyl)-4-oxo-3-quinolinecarboxylic acid AIDS-104529 AIDS104529 Quinolone deriv