Three-component cyclocondensation of 5-nitrothiophene-2-carbaldehyde with cyclohexanone and C-aminotri(tetr)azoles. Formation paths of isomeric hexahydrotriazoloquinazolines