Gas separation by thin film Diels-Alder polyphenylenes