2-Phenyltetrahydrothieno[3,4-d][1,3]dioxole 5,5-dioxide AIDS-127250 AIDS127250 NSC150999