Tetraphenylbutatriene from the Reaction of 1,1-Diphenyl-2-nitroethylene with Potassium t-Butoxide1