¿Qué antibióticos usar para la diverticulitis ambulatoria?