2,3-Dihydroxypropylarsonic acid AIDS-137713 AIDS137713 NSC642926