1,3,3a,4,7,7a-Hexahydro-4,7-methano-indene-2,2-dicarboxylic acid AIDS-125987 AIDS125987 NSC94572