4-Oxo-1-.lambda.~2~-stannanyl-1,4-dihydro-2,6-pyridinedicarboxylic acid compound with butane (1:2) AIDS-133259 AIDS133259 NSC628580