Pinelloside, an antimicrobial cerebroside from Pinellia ternata.