Pericardiectomy for recurrent pericarditis.