benzyl 3-hydroxy-3-methyl-2-propan-2-ylpyrrolidine-1-carboxylate (HCID 178440255)|Huagongshe