Rational structure-based design and optimization of next-generation biphenyl-piperidine-triazine derivatives as potent non-nucleoside reverse transcriptase inhibitors