1-tert-butyl 3-ethyl 3-methyl-4-oxopiperidine-1,3-dicarboxylate