本发明涉及通式（２）的化合物，包括其所有的同分异构和／或互变异构体（式中，Ｒ＋［１］Ｒ＋［２］、Ｒ＋［３］、Ｒ＋［４］、Ｒ＋［５］和Ｘ的定义如说明书所述）．本发明还包括通式（３）的螺环化合物（式中，Ｒ＋［７］和ｎ的定义如说明书所述）．