DF4型机车上采用的液压泵型号是( )。