3-Quinolinecarboxylic acid, 1-cyclopropyl-1,4-dihydro-8-methoxy-7-(3-methyl-1-piperazinyl)-4-oxo- AIDS-184274 AIDS184274