AIDS-080298 AIDS080298 NSC690678 Piperazine, 1-[2-(2,3-dihydro-2-oxo-6-benzothiazolyl)-1-thioxoethyl]-4-phenyl-