I'm curious how the OP did this. I'm sure a tutorial is just a google search away but sadly the laziness and apathy is kicking in.
Actually it was a little hard to find. I found a video of some dude (not another snot-knosed 12 year old with a blurry webcam or shaky tablet) with a Pikachu hat who walks you through the confusing GUI of pkhex.
Basically, you need a CFW/Gateway 3DS with your Pokemon Alpha installed on the emunand. (I have not messed with import/export save files to the cart, but it probably doesn't work with save data filer (SDF). )
Use SDF to export 11C5 under the USER tab.
Just take your SD card out of your 3ds and stick it in your PC. Before you even open pkhex, make a backup of your filer directory because pkhex will automatically find and open the save file (called "main") on the SD card.
btw, pkhex even works plug-n-play on wine under linux.
Once your save file is open, press the Wondercard button to open the wondercard dialog. Open your shiny new Hoopla(or whatever).wc6. Press the left arrow button ( the < button) to import the wondercard. It should appear in the list to the left.
Go to the SAVE tab and press the Export button.
Stick the SD back in your 3DS and use save data filer to import the file to the game. When you start the game, press the Mystery Gift button. Check your cards and he should be there.
I have only imported Hoopla and Shiny Bedlam. Rayquanza I'll get around to. There is a big rar file of all of them, but I only want the ones I could have conceivably really gotten. Importing Japanese and Korean Event Pokemon just wouldn't be cricket, LOL.