AIDS-144237 AIDS144237 Dimethyl tricyclo[2.2.1.0~2,6~]heptane-3,5-dicarboxylate NSC666433