A case of COVID-19 diarrhea relieved by bile acid sequestrant administration