Surgical treatment of diverticulitis.