AIDS-135281 AIDS135281 NSC634706 Tetramethyl 3a-methyl-2,5-dioxo-6a-propyloctahydro-1,3,4,6-pentalenetetracarboxylate