AIDS-112930 AIDS112930 NSC698272 [1]Benzothieno[2,3-b]pyrazin-2(1H)-one, 3-(4-phenyl-1-piperazinyl)-1-propyl-