3-Quinolinecarboxylic acid, 6-amino-7-[4-(2H-1,4-benzothiazin-3-yl)-1-piperazinyl]-1,4-dihydro-1-methyl-4-oxo- AIDS-221545 AIDS221545