A genuine dammarane glycoside, (20E)-ginsenoside F4 from Korean red ginseng