[1-(3,5-Difluorophenyl)vinyl]pyrrolidine (HCID 18511349)|Huagongshe