How to save the Current Mask to an Alpha Channel

Simply click on the Mask menu and select Save followed by Save as channel. Then type a name for the new alpha channel.