To make 400 into 200 speed film is pulling, not pushing. If you have manual exposure control just deliberately overexpose by a stop, then pull develop.

David.