Structure-Guided Redesign Increases the Propensity of HIV Env To Generate Highly Stable Soluble Trimers | Synapse