3,3a,4,6a-Tetramethyl-1-(2-methyl-3-oxobutanoyl)tetrahydroimidazo[4,5-d]imidazole-2,5(1H,3H)-dione AIDS-145641 AIDS145641 NSC670674