From cycloheptathiophene-3-carboxamide to oxazinone-based derivatives as allosteric HIV-1 ribonuclease H inhibitors. (1st January 2019)