diverticulitis and sex