If y is directly proportional to ​x​ , and ​y​ = 46 when ​x​ = 4, what is the value of ​x​ when ​y​ = 23?