(R)-methyl 1-(4,4-bis(3-methylthiophen-2-yl)but-3-en-1-yl)piperidine-3-carboxylate