1-Boc-4-(4-ethynyl-1-pyrazolyl)piperidine [ 1076224-02-6 ]