Cohomological descent for proper hypercoverings in topology