3-Quinolinecarboxylic acid, 1-cyclopropyl-1,4-dihydro-4-oxo-7-(1-piperazinyl)- AIDS-184275 AIDS184275