Buxaminone--a New Alkaloid from the Leaves of Buxus papillosa