Synthesis of tricyclic phospholene oxides by cycloaddition of phosphorus halides with heterocyclic analogs of 1-vinyl-3,4-dihydronaphthalenes†