Velocity Spectrum Estimation in Shock-Wave/Turbulent Boundary-Layer Interaction