HIV vaccines face tremendous challenges - almost 100% mortality rate if untreated, the fact that immune system activation helps the virus, very frequent mutations, lack of good targets for antibodies, etc. So don't hold your breath, mRNA is unlikely to help much in that case.