Diminazene for COVID-19: a missed opportunity?