Gravar-mail: Characterization of microRNAs derived from the HIV-1 TAR RNA hairpin