1-Cbz-3-methylenepyrrolidine (HCID 18412247)|Huagongshe