Cycloisomerization of dienes with carbophilic lewis acids: mimicking terpene biosynthesis with Pt(II) catalysts.