3-Quinolinecarboxylic acid, 1-cyclopropyl-1,4-dihydro-7-(4-methyl-1-piperazinyl)-4-oxo- AIDS-184276 AIDS184276