Many of the third-party color correction plugins will include their own masking tools - such as Magic Bullet - but of course they cost money.
You may also want to take a look at Power Window, which is donationware. It's not 100% stable at the moment but should be able to do everything you need in this case.