who won the mixed doubles in 1957 when judy devlin won the women's singles?
robert b. williams ethel marshall