Sony Studios buys Alamo DraftHouse.