Controlled human infection models in people living with HIV (EPOCH)