Thymectomy in myasthenia gravis.