Turbulent properties of a compressible boundary layer.