Dodecahydrotriphenylene