2,3-diphenyl-1,4-diazaspiro[4.5]deca-1,3-diene formula vs empirical formula