Treatment of abdominal discomfort due to intestinal infection