Tetracyclic triterpenoids from the leaves of Azadirachta indica and their insecticidal activities.