1-(1-phenylethenyl)pyrrolidine