Two new macrolides, formicolides A (1) and B (2), were isolated from Streptomyces sp. BA01, a gut bacterial strain of the wood ant (Formica yessensis). Their 20-membered macrocyclic lactone structures were established using NMR and mass spectrometric data. The relative configurations of the formicolides were determined by J-based configuration analysis utilizing ROESY, HETLOC, and HECADE NMR spectroscopic data. Genomic and bioinformatics analysis of the bacterial strain enabled us to identify the type-I polyketide synthase pathway employing a trans-acyltransferase system. The absolute configurations of 1 and 2 are proposed based on detailed analysis of the sequences of the ketoreductases in the modular gene cluster and statistical comparative analysis of the experimental NMR chemical shifts and quantum mechanical calculations. Formicolides A and B (1 and 2) induced quinone reductase activity in murine Hepa-1c1c7 cells and antiangiogenic activity by suppression of tube formation in human umbilical vein endothelial cells.