AIDS-135280 AIDS135280 NSC634705 Tetramethyl 3a-methyl-2-methylene-5-oxo-6a-propyloctahydro-1,3,4,6-pentalenetetracarboxylate