Semen-specific genetic characteristics of human immunodeficiency virus type 1 env