Synovectomy of the proximal interphalangeal joint of the finger in rheumatoid arthritis.