methyl 4-(4-oxobut-1-yl)-1-(tert-butoxycarbonyl)piperidine-4-carboxylate