A 40-year-old man with bipolar affective disorder is experiencing an acute manic episode. Which of the following medications is considered first-line treatment for acute mania?