萘环的分子式是什么?