Прививки нет, но лечение есть. Это разные типы вирусов. Ковид - одноцепочный РНК-вирус, ВИЧ - ретровирус, встраивает свои ДНК в клетку носителя. Возможно, разработчики и пошли бы по пути прививок, но защититься от ВИЧ намного проще, чем от ковида. В итоге то, чего можно добиться простой профилактикой, выигрывает.