Que sait-on de l'ivermectine dans le traitement du coronavirus ?