Did Mike Nichols and Ann Hui work in the same profession?