The phenylation of 3βpicoline. Isolation and establishment of the structure of β-pyridyl-α-dehydropiperidine