THEORY OF AC JOSEPHSON EFFECT IN SUPERCONDUCTING CONSTRICTIONS