Mathematical biology of HIV infections: antigenic variation and diversity threshold