3,4-Bis-allyloxy-5-(2,2-dimethyl-[1,3]dioxolan-4-yl)-5H-furan-2-one AIDS-147693 AIDS147693 NSC677615