Delta 3200 has long been regarded as an ISO 800 film that does well when pushed to 3200. You’ll be fine shooting it at 400 and, if properly developed, should yield some fine grain.
Head over to the Massive Dev Chart and find the times for your preferred developer + ISO combo.