Surgical treatment of diverticulitis of the colon.