tert-butyl 4-[4-(3,4,4a,5,6,7,8,8a-octahydro-2H-quinoline-1-carbonyl)thiophen-2-yl]piperidine-1-carboxylate