Resolution of the density maps was achieved at a remarkable 9 Å ... To determine the structure of activated HIV-1 Env spikes when bound to soluble CD4 (sCD4) or the coreceptor mimic 17b.