On non-renormalization theorems for four-dimensional superstrings