Gravar-mail: On the role of four small hairpins in the HIV-1 RNA genome