Four-dimensional heteronuclear triple resonance NMR methods for the assignment of backbone nuclei in proteins