Modeling and solution structure probing of the HIV-1 TAR stem-loop