Weak-strong uniqueness for the compressible Navier-Stokes equations with a hard-sphere pressure law