A young male presents with reduced sleep, hyperactivity and elevated mood. He has a family history of mania. Which of the following drug should be used for long term treatment of this patient?