AIDS-225312 AIDS225312 Benzoic acid, 4-[[1-oxo-3-[(5Z)-4-oxo-5-(2-thienylmethylene)-2-thioxo-3-thiazolidinyl]propyl]amino]-