Statistics for HIV-1 diversity and the implementation of integrase strand-transfer inhibitors as part of combination antiretroviral therapy