Text this: HIV-1 Prevalence and Oral Pre-Exposure Prophylaxis Effectiveness and Prevalence of Use Among Key Populations in High-Income Economies (2017–2023)