Optimal Control of HIVDynamic Using EmbeddingMethod