Mixing length and kinematic eddy viscosity in a compressible boundary layer.