O tratamento da diverticulose inclui uso de probióticos em alguns casos?