Differences between detergent-extracted acetylcholine receptor and “cholinergic proteolipid”