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