3216-46-4 4-Phenyl-7a,8-dihydrothieno[2,3-f][2]benzofuran-5(7H)-one AIDS-125832 AIDS125832 NSC85733