Structural Constraints Determine the Glycosylation of HIV-1 Envelope Trimers | Synapse