5-[(2,2-Dimethyl-[1,3]dioxolan-4-yl)-hydroxy-methyl]-2,2-dimethyl-[1,3]dioxolane-4-carbaldehyde AIDS-150779 AIDS150779 NSC688888