A 29 year old woman has severe manic episode. She has been diagnosed with bipolar affective disorder. Among the following, which one is not used for the prophylaxis of her illness?