First-principles simulation of a shocked H-He mixture along the principal Hugoniot | Synapse