2,2-Dimethyl-5-(2-thienyl)-1,3-dioxane-4,6-dione AIDS-137823 AIDS137823 Isopropylidene .alpha.-thiofuryl malonate NSC643155