TAR RNA recognition by a cyclic peptidomimetic of Tat protein