3-Thiazolidinepropanamide, N-2-naphthalenyl-4-oxo-5-(2-thienylmethylene)-2-thioxo-, (5Z)- AIDS-225331 AIDS225331