Lekiem z wyboru w leczeniu profilaktycznym choroby afektywnej dwubiegunowej typu I o klasycznym przebiegu jest: