Stellar Velocity Dispersion of a Massive Quenching Galaxy at z = 4.01