Revolutionizing HIV-1 Treatment with AI, Enforcing Logical Constraints on Language Models | Simply AI | Podwise