I am not aware of a batch process for your project, meaning that you will need to do the correction individually.
Suggest that you replace the sky completely on each picture file. You will need a picture of a nice blue sky with clouds. You can take this yourself, or, obtain one from another source.
1. Open your picture file and the picture of the new (replacement) sky.
2. Copy the sky replacement to the clipboard, then paste to your original picture
3. Drag the replacement sky over the sky on the picture using the move tool, and set the layer blending mode to darken. If the replacement is too large or small, use the corner handles of the bounding box to adjust so that it will cover the "old" sky.
4.Set your foreground color chip to white
5. Activate the Gradient tool and select the foreground to transparent linear gradient. Drag the gradient from below up to the top of the tree line.