Plumericin; an antimicrobial agent from Plumeria multiflora.