Design, synthesis, structure-activity relationships, and molecular modeling studies of 2,3-diaryl-1,3-thiazolidin-4-ones as potent anti-HIV agents