5-(2,2-Dimethyl-[1,3]dioxolan-4-yl)-2,2-dimethyl-6-propenyloxy-tetrahydro-furo[2,3-d][1,3]dioxole AIDS-145627 AIDS145627 NSC670541