Pyrrolidine anticonvulsant (SV2A ligand)