Mean velocity scaling for compressible wall turbulence with heat transfer | Synapse