First-Order Lagrangians and Path-Integral Quantization in the t–J Model