Parallel one-pot synthesis and structure-activity relationship study of symmetric formimidoester disulfides as a novel class of potent non-nucleoside HIV-1 reverse transcriptase inhibitors