Semen-Specific Genetic Characteristics of Human Immunodeficiency Virus Type 1 env