Provable Generalization of SGD-trained Neural Networks of Any Width in the Presence of Adversarial Label Noise