name used by multiple fictional characters appearing in American comic books published by Marvel Comics