I just posted this to WizKids, but, as I often do, here it is for your discussion in case they pass on answering it.

The rare Spider-Man from What If?'s real name is written as "Peter Parker (Ben Reilly)." For game mechanics that require the use of a real name, such as ID Cards, is this character's real name considered "Peter Parker (Ben Reilly)" as a whole, just considered "Peter Parker" but not "Ben Reilly," just considered "Ben Reilly" but not "Peter Parker," or will either name work individually?

Thank you for your time and consideration.

EDIT TO ADD:

Never mind. Just found the answer in their Clarifications. I knew that, in the past, things in quotation marks were ignored for Real Name purposes; I didn't know that things in parentheses were.

[C]When a game effect is keyed off a character's "real name", the name printed on the character's card under "real name" must match exactly to the real name the effect is looking for (excluding anything in parenthesis). If a character does not have a real name printed on its card, then it is not eligible for effects that look for a "real name".