Text this: Co-production in HIV research: a case study from the COVID-19 pandemic