Text this: From cycloheptathiophene-3-carboxamide to oxazinone-based derivatives as allosteric HIV-1 ribonuclease H inhibitors