Hansen’s disease and COVID-19