AIDS-047944 AIDS047944 NSC632548 Tricyclo[3.3.1.13,7]decane-1,3-dicarboxylic acid, dimethyl ester