1-Boc-3-ethynyl-3-hydroxypiperidine (HCID 21942248)|Huagongshe