3-Amino-1-(2,2-dimethyl-[1,3]dioxolan-4-yl)-4,4-diethoxy-butane-1,2-diol AIDS-150787 AIDS150787 NSC688896