AIDS-153217 AIDS153217 Dimethyl 2-methyl-2-phenyl-1,3-dioxolane-4,5-dicarboxylate NSC699411