Potential treatment of COVID-19 by inhibitors of human dihydroorotate dehydrogenase