A process for the production of a formulation of HIV attachment inhibitor piperazine tris salt prodrug compound involves dissolving the prodrug compound in a solvent to form a solution; adding a first quantity of a first anti-solvent to the solution; then dispersing a first quantity of HPMC in the solution; adding a second quantity of the first anti-solvent to the solution; dispersing a second quantity of HPMC in the solution; then adding a second anti-solvent to the solution so as to crystallize the compound with the HPMC and thereby form the formulation, wherein the second anti-solvent is a combination of acetone and isopropyl acetate (IPAC). The formulation is then washed, and dried.