4-(2,2-Dimethyl-1,3-dioxan-5-yl)-1-(2-methyl-1,3-dioxolan-2-yl)-3-buten-2-ol AIDS-151806 AIDS151806 NSC693429