3-Quinolinecarboxylic acid, 6-amino-1,4-dihydro-1-methyl-4-oxo-7-[4-(2-thiazolyl)-1-piperazinyl]- AIDS-221537 AIDS221537