1,2-Benzisoselenazole-1,3-dione, 2-phenyl AIDS-051133 AIDS051133 NSC639772