tert-butyl 2-oxospiro[1,4-dihydroquinoline-3,3'-piperidine]-1'-carboxylate