Email Record: Oxygen permeability of phosphatidylcholine--cholesterol membranes.