1-Boc-4-ethylidene-piperidine [ 889955-48-0 ]