Four diterpenes identified in silico were isolated from Hyptidinae and demonstrated in vitro activity against Mycobacterium tuberculosis