A 6-amino acid insertion/deletion polymorphism in the mucin domain of TIM-1 confers protections against HIV-1 infection