Have antibiotics been appropriately used in the Covid-19 pandemic? (June 2020)