A 46-year-old patient complains of double vision and drooping of the eyelids that occur mainly in the second half of the day and almost completely disappear after a rest. Examination detects slight bilateral ptosis, reduced lateral movement of the eyeballs, diplopia, and positive proserin (neostigmine) test. Make the diagnosis.