Нопиновая кислота, нопинон