Additives for industrial oils