What medications are used to treat myasthenia gravis?