(8aR)-Tetrahydro-3-oxo-3H-oxazolo[3,4-a]pyrazine-7(1H)-carboxylic acid 1,1-dimethylethyl ester