Children with allergic asthma sensitized to house dust mites getting better health during COVID-19 pandemic