International work on HIV and Aids has helped in fight against the Covid-19 pandemic