(3R,4S)-3-amino-4-(3-boronopropyl)-1-(2-(piperidin-1-yl)ethyl)pyrrolidine-3-carboxylic acid (HCID 57331481)|Huagongshe