AIDS-135279 AIDS135279 NSC634704 Tetramethyl 3a-methyl-2,5-dioxooctahydro-1,3,4,6-pentalenetetracarboxylate