That would be, I believe, something like this:

formail -es procmail < mailfile

Of course, you might need some other switches in there.

...I think...