Is this an OK setup with an Arduino Pro Mini?

If the FTDI chip supplies power I would not try to use both that and an external supply at the same time. It might work if the given Arduino you have is smart enough to switch and only use one supply, but I wouldn't bet on that. If you have the FTDI connected there is really no reason to power the Arduino from the external supply, as it would simply be redundant.