AIDS-048576 AIDS048576 NSC690673 Piperazine, 1-[(2,3-dihydro-3-methyl-2-oxo-6-benzothiazolyl)thioxomethyl]-4-phenyl-