Stabilities of HIV-1 DIS type RNA loop–loop interactions in vitro and in vivo