AIDS-017755 AIDS017755 o-Iodophenol, sodium salt