3a,13a-Propano-1H-cyclopentacyclododecene-1,3,14,16-tetracarboxylic acid, dodecahydro-2,15-dioxo-, tetrakis(1,1-dimethylethyl) ester AIDS-135276 AIDS135276 NSC634700