Which of the following medications is indicated for long-term maintenance therapy of bipolar disorder (BPD)?