This is the Benoni Defense, an aggessive opening utilized by Fischer,
Tal, and many other grandmasters. Some prefer to play ...c5 only after a
White Nf3, which precludes the sharp lines which arise from the advance of
White's f-pawn, such as Taimanov's Variation. Transpositions to and from
the King's Indian Defense occur frequently.