Ilford have a PDF somewhere on their site saying which developer is best for which applications (slow, fast, sharpness, push processing, economy, etc.). I have stumbled upon it before and cannot now seem to find it. Anyway, it recommends DD-X for just about everything to do with push-processing, last I looked (a few weeks ago).
--Dave