AIDS-148445 AIDS148445 Diisopropyl 2,2-dimethyl-1,3-dioxolane-4,5-dicarboxylate NSC680766