Bactrim for Diverticulitis