diverticulitis antibiotics how long to work