tert-Butyl (4as,7ar)-4-ethylhexahydrothieno[3,4-b]pyrazine-1(2h)-carboxylate 6,6-dioxide 95%