I have done a bit of a search but this seems to be a rare combo. The MDC has times for 500 and upwards but not 400. It's the old story; Ilford has times for its films and developer and likewise Kodak but mix and match and you're in uncharted territory
HP5+ is 12 mins at 400 and the MDC says a minute less at 11 mins for a higher EI of 500
Ilford says Tri-X @500 is 6 minutes for stock, 11 minutes for 1:1, and 22 minutes for 1:3, all at 20C/68F. Tri-X @400 is only 1/4 stop overexposed, so I think those times would be a good place to start.