2,2-Dimethyl-5-(3-thienyl)-1,3-dioxane-4,6-dione AIDS-137824 AIDS137824 Isopropylidene-.beta.-thiofurfurylidene malonate NSC643156