4-Thiazolidinone, 5-[[5-(4-propylphenyl)-2-thienyl]methylene]-2-thioxo- AIDS-171810 AIDS171810