3-Thiazolidinepropanamide, N-1,3-benzodioxol-5-yl-5-(1,3-benzodioxol-5-ylmethylene)-4-oxo-2-thioxo-, (5Z)- AIDS-225333 AIDS225333