Renormalization-group derivation of Navier-Stokes equation