I haven't studied the details of the vector they used, but as a general comment HIV is a very well-understood virus, so removing its potential to infect a human should be easy to do in theory. Practice is another matter, since molecular biology is quite messy.