What was the first comic to be published after Goodman formally adopted the name Marvel Comics