Surgical treatment of diverticulitis of colon.