A Multidisciplinary Approach for the Identification of Novel HIV-1 Non-Nucleoside Reverse Transcriptase Inhibitors: S-DABOCs and DAVPs