Interactions in the hydrogen belts of membranes: Cholesterol leaving phosphatidylcholine bilayers