2,2-Dibutyl-6,8-diiodo-4H-1,3,2-benzodioxastannin-4-one AIDS-133243 AIDS133243 NSC628563