There is Right Ctrl as Right Alt option, but no Right Alt as Right Ctrl or (I believe it will be more useful) Swap Right Alt with Right Ctrl options.
Right Ctrl as Right Alt
Right Alt as Right Ctrl
Swap Right Alt with Right Ctrl