Cyclic PNA-based compound directed against HIV-1 TAR RNA: modelling, liquid-phase synthesis and TAR binding.