Arylthiopyrrole (ATP) Derivatives as Non-Nucleoside HIV-1 Reverse Transcriptase Inhibitors