2,2-Dibutyl-4H-[1,3,2]oxathiastannino[4,5-b]pyridin-4-one AIDS-134745 AIDS134745 NSC633502