Surgical treatment of myasthenia gravis.