product Name：(4aR,8aR)-tert-butyl octahydroquinoxaline-1(2H)-carboxylate