4-(1H-1,2,3-triazol-1-yl)pyrrolidin-3-ol (HCID 19006007)|Huagongshe