Exploring the hydrophobic channel of NNIBP leads to the discovery of novel piperidine-substituted thiophene[3,2-d]pyrimidine derivatives as potent HIV-1 NNRTIs