AIDS-133820 AIDS133820 NSC630443 Spiro[bicyclo[4.1.0]heptane-2,2'-[1,3]dioxolane]-4',5'-dicarboxylic acid, dimethyl ester