2,2-Dibutyl-1,3,4,2-benzodioxazastannepine AIDS-134742 AIDS134742 NSC633498