How much is a pint of adenosine triphosphate in a British pub?