Enrichment of HLA Types and Single-Nucleotide Polymorphism Associated With Non-progression in a Strictly Defined Cohort of HIV-1 Controllers