Characterization of human immunodeficiency virus type 2 envelope glycoproteins: dimerization of the glycoprotein precursor during processing