The use of human leucocyte antigen class I transgenic mice to investigate human immune function.