I'm not sure how you're counting real names. The Rock, is listed as Dwayne "The Rock" Johnson on WWE's site, qualifying him as using his real name.
Brock Lesnar, Mark Henry are clearly using real names.
John Cena, Randy Orton and Ted DiBiase are using nicknamed versions, but real names no less.
I'd make a case for Cody Rhodes too, I'm sure people have mistaken it as his real last name since birth, and "Rhodes" has been used as family last name for him and Goldust too.
Steve Austin is using his real name too, but it was legally changed to Austin.
Bryan Danielson was trained by Shawn Michaels, and much like HBK his name is a scrambled variation of his real name. Shawn's real name is Michael Shawn Hickenbottom.
Sent from my iPhone using Verticalsports.com Free App