(3S,1R)-3-(1-(t-butoxycarbonylamino)ethyl)pyrrolidine (HCID 10104699)|Huagongshe