Surgical procedure for congenital absence of the superior oblique.