2-[6-(1,3-Dimethyl-but-2-enyl)-2,2,5-trimethyl-[1,3]dioxan-4-yl]-5,5-dimethoxy-4-methyl-pentane-2,3-diol AIDS-131747 AIDS131747 NSC624513