[1-(2,5-Difluorophenyl)vinyl]pyrrolidine (HCID 18511321)|Huagongshe