Serratene triterpenes from Pinus armandii bark