diverticoli cosa mangiare