did doc ock die in spider man