Antibiotics in the treatment of diverticular disease of the colon.