Proline and proline derivatives as anticonvulsants.