αρχείο Email: Integrated functional and bioinformatics approach for the identification and experimental verification of RNA signals: application to HIV-1 INS