Who's to say that the person who harbored this mutation wasn't vaccinated? The only thing we know is that they suspect it developed in an individual with HIV.