HTC Desire X, the official name for the HTC Proto?