Supplement to Structure Refinement and Computational Validation Protocol for Proteins with Large Variable Regions Applied to Model HIV Envelope Spike in its CD 4 and 17 b Bound State