HIV-1 phylogenetics and vaccines