Did a study show ivermectin is better than remdesivir at lessening COVID-19 deaths? No