Density-Functional Theory of Freezing of Hard-Sphere Mixtures into Substitutional Solid Solutions | Synapse