World AIDS Day: resources redirected towards fighting Covid-19