HTC One X with Snapdragon S4 benchmarked before potential May release