AIDS-225300 AIDS225300 Benzoic acid, 5-[[3-[(5Z)-5-(1,3-benzodioxol-5-ylmethylene)-4-oxo-2-thioxo-3-thiazolidinyl]-1-oxopropyl]amino]-2-hydroxy-