Structural modeling of Vpu from HIV-1 based on solid-state NMR observables