Die Deutsche AIDS Hilfe hat eine gute Zusammenfassung zur Corona-Impfung und HIV: https://www.aidshilfe.de/corona-impfung#das-wichtigste-zur-corona-impfung-und-hiv

Fazit: Alle sollten sich gegen das Coronavirus impfen lassen. Menschen mit HIV gehören zur dritten Impfgruppe (erhöhte Priorität).