مرد عنکبوتی در دنیای واقعی ، بتمن و مرد عنکبوتی و ابرقهرمانان