Well, I'm just about the opposite of you and almost never push my film. That said, Acufine was always noted for a speed increasing developer. I never tried it, but I did try and still use some discontinued Ethol UFG and that's a near twin. UFG will give you a good 1/2 stop with just a normal development, but even more if you push. So I'd say Acufine would be worth a try, but Microphone is right there too. All this depends on the film and I know nothing on pushing either of the films you mention. If it were the old Tri-X I'd say break down and buy some Diafine, but you're not talking that film.