A 26-year old lady has just recovered from acute manic episode. She has a diagnosis of bipolar affective disorder. Which one of the following is not used for the prophylaxis of the condition?