doctor octopus belongs to marvel comics