Spin asymmetry in muon-proton deep inelastic scattering on a transversely-polarized target