Efficient Mechanisms for Public Goods with Use Exclusions