Check the Ilford data sheets I recall they recommend Microphen and DDX for push processing HP5 up to 3200.