There was an even more impressive example of synthetic biology taking on HIV treatment. The design involved re-engineering HIV to excise the retrovirus rather than integrating it into the genomes of infected cells:

https://www.youtube.com/watch?v=YgEwFVHuqUU#t=24m10s