Synthesis and biological evaluation of triazolothienopyrimidine derivatives as novel HIV-1 replication inhibitors.