Thymectomy for myasthenia gravis.