ovalene synthesis