I've commonly heard this called the "Super Mario Brothers" progression, named for its nearly infamous use in the original Super Mario Brothers game when a level was beaten. That seems nonstandard, but it's the only name I've ever heard for it, and any musician who hears that name knows exactly what chords to play. If you need something to call this progression, this is the standard choice, as ridiculous as that sounds. This isn't the only time I've heard this used; I believe it's very widespread, and thus essentially almost a name.
That piece of music has also been repeatedly quoted and paraphrased throughout the entire Mario franchise. Of course, the progression itself has been used in plenty of other contexts, and it sounds quite nice.
EDIT: I'm not making this up, I now have a source!
And also at 7:00, 12 Tone discusses the opposite of the Andalusian Cadence! How perfect!